# (decoded with TMPL 1000) *****: (EOF-terminated list) 0: Value: 1 1: Value: 2 2: Value: 4 3: Value: 6 4: Value: 12 5: Value: 24 6: Value: 48 7: Value: 96 8: Value: 240 9: Value: 480 10: Value: 1440 11: Value: 2880